Categories: How I Learned to Stop Worrying and Love Two Sorts
نویسندگان
چکیده
RS-frames were introduced by Gehrke as relational semantics for substructural logics. They are two-sorted structures, based on RS-polarities with additional relations used to interpret modalities. We propose an intuitive, epistemic interpretation of RS-frames for modal logic, in terms of categorization systems and agents’ subjective interpretations of these systems. Categorization systems are a key to any decision-making process and are widely studied in the social and management sciences. A set of objects together with a set of properties and an incidence relation connecting objects with their properties forms a polarity which can be ‘pruned’ into an RS-polarity. Potential categories emerge as the Galois-stable sets of this polarity, just like the concepts of Formal Concept Analysis. An agent’s beliefs about objects and their properties (which might be partial) is modelled by a relation which gives rise to a normal modal operator expressing the agent’s beliefs about category membership. Fixed-points of the iterations of the belief modalities of all agents are used to model categories constructed through social interaction.
منابع مشابه
Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice
متن کامل
The future of human - computer interaction , or how I learned to stop worrying and love my intelligent room
interaction, or how I learned to stop worrying and love my intelligent room Michael H. Coen, MIT Artificial Intelligence Lab Predicting the future is notoriously difficult. Suppose 100 years ago someone suggested that every bedroom in the US would soon have a bell that anyone in the world could ring anytime, day or night. Would you have believed it? Nevertheless, the telephone caught on and has...
متن کاملGPI anchoring of protein in yeast and mammalian cells or: How we learned to stop worrying and love glycophospholipids
متن کامل
Emotional Regulation, or: How I Learned to Stop Worrying and Love the Nucleus Accumbens
How does the brain control emotion? In this issue of Neuron, Wager et al. use a novel mediation analysis of neuroimaging data to show two independent pathways for the control of emotion by the prefrontal cortex: a path through the amygdala predicts a greater negative emotional response, and a path through the nucleus accumbens/ventral striatum predicts a greater positive response.
متن کاملHow I Learned to Stop Worrying and Love Plugins
This position paper argues that browsers should be responsible for specifying and enforcing security policies for browser plugins. By enabling the browser to make security decisions on behalf of the plugin, browsers can significantly reduce the impact of plugin vulnerabilities and eliminate much of the risk posed by today’s plugin exploits. We propose policies for document access, persistent st...
متن کامل